Entwicklung eines GtL-Dampfreformers mit Metallmembran für die Kombination mit einer PEM-Brennstoffzelle in APU-Anwendungen

Entwicklung eines Zangeninstruments mit gleichgeführten Betätigungsseilen für die Laparoskopie

In der minimal invasiven Chirurgie (MIC) bieten abwinkelbare Instrumentenspitzen gegenüber starren Instrumenten den Vorteil, dass sie die Bewegungseinschränkung des Instrumentenschafts, die im Zugangskanal zum Operationsgebiet besteht, ausgleichen. Somit ermöglichen sie die Gewebemanipulation unter Ausnutzung aller sechs Bewegungsfreiheiten im dreidimensionalen Raum. In der manuellen MIC finden...

Formale Entwicklung einer Steuerung für eine Fertigungszelle mit SYSYFOS

Using the synthesis approach of Manna and Waldinger, a formally specified and verified control circuitery for a production cell was developped. Building an appropriate formal language level, we could achieve a requirements specification to the informal description. We demonstrated that the paradigm of deductive synthesis can be applied to the development of complete verified systems, including ...

Entwicklung eines agilen Frameworks für Projektunterricht mit Design-Based Research

Fachdidaktische Innovationen stellen Forscher und Praktiker grundsätzlich vor die Herausforderung, Theorie mit Praxis in Einklang zu bringen. Besonders in der Informatik bergen kontinuierliche fachliche Weiterentwicklungen bedeutendes Potential für didaktische und methodische Neuerungen. Der Beitrag skizziert am Beispiel eines agilen Modells für Projekte einen Forschungsprozess, der die Impleme...

Entwicklung eines computergesteuerten Trainingssimulators für die Koloskopie mit aktivem Force-Feedback

Entwicklung eines Informationsportals für die Informatik

Ziel des Projekts Fachinformationssystem Informatik (FIS-I) ist die Konzeption und der Betrieb eines Kompetenzund Dienstleistungsnetzes für die Informatik. Das Portal soll den Zugriff auf weltweit publiziertes Informatikwissen zentralisieren, Publikationen strukturiert und standardisiert mit Metadaten erfassen und langfristig die Verfügbarkeit der archivierten Informationen absichern. An dem Pr...